Lema 2

Sea $(X, T)$ un espacio topológico. Si $B \subset T$ es una colección de abiertos tal que,

\forall U \in T, \forall x \in U, \exists B \in B tal que x \in B \subset U

entonces $B$ es una base para la topología de $X$ , es decir, $T (B) = T$ .